<HTML><HEAD><TITLE>mindomain(+Var, ?Min)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(fd)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>mindomain(+Var, ?Min)</H1>
Min is the minimum element in the domain of Var.


<DL>
<DT><EM>+Var</EM></DT>
<DD>A domain variable or an integer.
</DD>
<DT><EM>?Min</EM></DT>
<DD>A variable or an integer.
</DD>
</DL>
<H2>Description</H2>
   If Var is a domain variable then Min is unified with the minimum value
   in the domain of Var.  If Var is an integer then Min is unified with
   Var.

<P>

<H3>Fail Conditions</H3>
   None.


<H3>Resatisfiable</H3>
   No.
<H2>See Also</H2>
<A HREF="../../lib/fd/maxdomain-2.html">maxdomain / 2</A>, <A HREF="../../lib/fd/NN-2.html">:: / 2</A>, <A HREF="../../lib/fd/HNN-2.html">#:: / 2</A>, <A HREF="../../lib/fd/dom_to_list-2.html">dom_to_list / 2</A>
</BODY></HTML>
